The Conservative Extension of MV-Algebras to Pavelka Algebras
نویسنده
چکیده
In this paper we prove algebraic equivalents of the conservative extension theorems of Lukasiewicz propositional logic to rational Pavelka propositional logic. The results concerns the conservative extension and the very conservative extension of MV-algebras to Pavelka algebras.
منابع مشابه
Pavelka-style completeness in expansions of Lukasiewicz logic
An algebraic setting for the validity of Pavelka style completeness for some natural expansions of Lukasiewicz logic by new connectives and rational constants is given. This algebraic approach is based on the fact that the standard MV-algebra on the real segment [0, 1] is an injective MV-algebra. In particular the logics associated with MV-algebras with product and with divisible MV-algebras ar...
متن کاملNew Results on Ideals in $MV$-algebras
In the present paper, by considering the notion of ideals in $MV$-algebras, we study some kinds of ideals in $MV$-algebras and obtain some results on them. For example, we present definition of ultra ideal in $MV$-algebras, and we get some results on it. In fact, by definition of ultra ideals, we present new conditions to have prime ideals, positive implicative ideals and maximal ideals in $MV$...
متن کاملIDEALS OF PSEUDO MV-ALGEBRAS BASED ON VAGUE SET THEORY
The notion of vague ideals in pseudo MV-algebras is introduced,and several properties are investigated. Conditions for a vague set to be avague ideal are provided. Conditions for a vague ideal to be implicative aregiven. Characterizations of (implicative, prime) vague ideals are discussed.The smallest vague ideal containing a given vague set is established. Primeand implicative extension proper...
متن کاملFUZZY OBSTINATE IDEALS IN MV-ALGEBRAS
In this paper, we introduce the notion of fuzzy obstinate ideals in MV -algebras. Some properties of fuzzy obstinateideals are given. Not only we give some characterizations of fuzzy obstinate ideals, but also bring the extension theorem of fuzzy obstinate ideal of an MV -algebra A. We investigate the relationships between fuzzy obstinate ideals and the other fuzzy ideals of an MV -algebra. We ...
متن کاملA new approach to characterization of MV-algebras
By considering the notion of MV-algebras, we recall some results on enumeration of MV-algebras and wecarry out a study on characterization of MV-algebras of orders $2$, $3$, $4$, $5$, $6$ and $7$. We obtain that there is one non-isomorphic MV-algebra of orders $2$, $3$, $5$ and $7$ and two non-isomorphic MV-algebras of orders $4$ and $6$.
متن کامل